Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
221	Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-01 04:03:57 Tiny Encryption Algorithm Partition Valuation Ground expression Constructible universe Ordinal number Mathematics Linear temporal logic Temporal logic
222	The good, the bad, and the ugly, but how ugly is ugly? Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-25 22:20:01 Interpretation Model theory Metaphilosophy Philosophy Temporal logic Linear temporal logic Logic
223	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-01-30 19:46:28 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
224	Microsoft PowerPoint - TemporalLogic.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Mathematics Linear temporal logic CTL* Entailment Kripke structure Function Golden ratio Modal logic Logic Temporal logic Mathematical logic
225	Program Monitoring with LTL in E AGLE Howard Barringer University of Manchester, England Allen Goldberg, Klaus Havelund Kestrel Technology, NASA Ames Research Center, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:43 Computing Linear temporal logic Temporal logic Eval Interpretation Structure Logical connective Futures and promises Model theory Logic Mathematical logic
226	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
227	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-07-15 03:25:29 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
228	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
229	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic
230	Security Protocols, Properties, and their Monitoring Andreas Bauer Jan Jürjens Computer Sciences Laboratory Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Mathematics Formal methods Temporal logic Model checking Linear temporal logic Formal verification Runtime verification Büchi automaton Model theory Theoretical computer science Applied mathematics Logic in computer science

UPDATE